Feeds to Scour
SubscribedAll
Scoured 8908 posts in 120.4 ms
An attempt at a First-Proof AI challenge
abhvio.us·1d·
Discuss: Hacker News
📝Weakest Precondition
OK, what's the difference between coherence and representation theorems?
lesswrong.com·1h
🔢Philosophy of Mathematics
Exposing Weaknesses of Large Reasoning Models through Graph Algorithm Problems
arxiv.org·21h
🔍CBMC
ChatGPT vs. Logic: Why AI Code is Slower
dev.to·3d·
Discuss: DEV
🧠Automated Reasoning
The Quest for Simplicity
prokeimenon.org·7h·
Discuss: Hacker News
📵Digital Minimalism
A practical systems engineering guide: Architecting AI-ready infrastructure for the agentic era
thenewstack.io·3h
🌐Network Protocols
Designing a Cost-Efficient Agentic System
p.agnihotry.com·8h·
Discuss: Hacker News
🧠Automated Reasoning
A Note on Flat Abstract Syntax Trees
gist.github.com·7h·
Discuss: Hacker News
🧩Parser Combinators
We Build Software for Humans — Not for Machines. And That’s a Problem.
medium.com·12h·
Discuss: r/programming
🔧DevOps
The First Known Problem That Is FPT with Respect to Node Scanwidth but Not Treewidth
arxiv.org·21h
🕸️Graph Theory
Computing large Fibonacci numbers
johndcook.com·1d·
Discuss: Hacker News
λFunctional Programming
What Functional Programmers Get Wrong About Systems
iankduncan.com·6h·
Discuss: Hacker News
💎Refinement Types
Oatmeal - Constraint propagation for fun
eli.li·1d·
Discuss: Lobsters, Hacker News
🧮SMT Solvers
Show HN: C-CMCP – Validated AI development workflow with quality gates
news.ycombinator.com·9h·
Discuss: Hacker News
🧠Automated Reasoning
Modernizing my 150-line Python search engine: Yahoo! dumps -> Hugging Face 🤗
bart.degoe.de·7h·
Discuss: Hacker News
🔤Kleene Algebra
DSA Interview Questions: What Really Gets Asked (and How to Prepare Smart)
dsa-interview-questions.pages.dev·8h·
Discuss: Hacker News
🧩SAT Solvers
Tutorial – What is a variational autoencoder?
jaan.io·8h·
Discuss: Hacker News
📚Automata Learning
First Proof | Research-Level Math for AI Evaluation
1stproof.org·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Expectation and Copysets
buttondown.com·7h·
Discuss: Hacker News
🔢Algebraic Data Types
Why securing AI model weights isn’t enough
the-substrate.net·4h·
Discuss: Hacker News
🛡️macOS Security

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help